تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۵۸ ثانیه یافت شد.

1. Mechanizing mathematical reasonin

پدیدآورنده: / Dieter Hutter, Werner Stephan, (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Siekmann, J?�rg H.

2. Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday

پدیدآورنده: Dieter Hutter, Werner Stephan )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical,Automation ، Reasoning,Technique ، Reasoning

رده :

QA

76

.

L28

Vol

.

2605

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است